<html>
<head><meta charset="utf-8"><title>Add symbolic execution to miri · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html">Add symbolic execution to miri</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="168997614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/168997614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#168997614">(Jun 26 2019 at 03:51)</a>:</h4>
<p>Hi <span class="user-mention" data-user-id="124288">@oli</span>,  <span class="user-mention" data-user-id="119009">@eddyb</span>. I'd like to start checking which parts of <a href="https://github.com/christianpoveda/sire" target="_blank" title="https://github.com/christianpoveda/sire">https://github.com/christianpoveda/sire</a> can be properly integrated into miri. An small abstract of Oliver's first thoughts on the matter is here <a href="https://github.com/christianpoveda/sire/issues/1" target="_blank" title="https://github.com/christianpoveda/sire/issues/1">https://github.com/christianpoveda/sire/issues/1</a></p>



<a name="169005801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169005801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169005801">(Jun 26 2019 at 07:19)</a>:</h4>
<p>Interesting project!</p>



<a name="169005860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169005860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169005860">(Jun 26 2019 at 07:20)</a>:</h4>
<p>I think at some point we have to decide how much extra "messiness" we are willing to tolerate in CTFE/Miri for a case like this. Extra code complexity means higher maintanance cost and, worse, more bugs, so that's something I am quite concerned about.</p>



<a name="169005866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169005866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169005866">(Jun 26 2019 at 07:20)</a>:</h4>
<p>There's a reason I keep refactoring things in the Miri engine ;)</p>



<a name="169032534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169032534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169032534">(Jun 26 2019 at 13:59)</a>:</h4>
<blockquote>
<p>Interesting project!</p>
</blockquote>
<p>Thank you :)</p>
<blockquote>
<p>I think at some point we have to decide how much extra "messiness" we are willing to tolerate in CTFE/Miri for a case like this. Extra code complexity means higher maintanance cost and, worse, more bugs, so that's something I am quite concerned about.</p>
</blockquote>
<p>Well If i understand correctly, other than an additional associated type inside <code>Machine</code>, none of this wouldn't affect the <code>rustc</code>or <code>miri</code> repositories</p>



<a name="169032889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169032889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169032889">(Jun 26 2019 at 14:02)</a>:</h4>
<p>there'll probably be some additional hooks that we'll need to add to the <code>Machine</code></p>



<a name="169032918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169032918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169032918">(Jun 26 2019 at 14:02)</a>:</h4>
<p>in miri and const eval these would be nops because their argument would be <code>!</code></p>



<a name="169033181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169033181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169033181">(Jun 26 2019 at 14:04)</a>:</h4>
<blockquote>
<p>there'll probably be some additional hooks that we'll need to add to the <code>Machine</code></p>
</blockquote>
<p>Why?</p>



<a name="169033239"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169033239" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169033239">(Jun 26 2019 at 14:05)</a>:</h4>
<p>the logic for running operators on symbols needs to live somewhere</p>



<a name="169033404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169033404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169033404">(Jun 26 2019 at 14:06)</a>:</h4>
<blockquote>
<p>the logic for running operators on symbols needs to live somewhere</p>
</blockquote>
<p>Well we could let that in other repo until this is actually used for something</p>



<a name="169033993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169033993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169033993">(Jun 26 2019 at 14:12)</a>:</h4>
<p>Shouldn't the current methods of  <code>Machine</code> be enough?</p>



<a name="169034022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169034022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169034022">(Jun 26 2019 at 14:12)</a>:</h4>
<p>not sure :D</p>



<a name="169034041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169034041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169034041">(Jun 26 2019 at 14:12)</a>:</h4>
<p>they have reached a point of complexity where I don't remember what's in there</p>



<a name="169034059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169034059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169034059">(Jun 26 2019 at 14:13)</a>:</h4>
<p>Hahaha, I'm going to check the trait</p>



<a name="169034962"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169034962" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169034962">(Jun 26 2019 at 14:22)</a>:</h4>
<p>Well it has more than we need. I did the first interpreter by immitating how miri executed code.</p>



<a name="169035438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169035438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169035438">(Jun 26 2019 at 14:27)</a>:</h4>
<p>I guess we will discover what else <code>Machine</code> needs on the way</p>



<a name="169076421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169076421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169076421">(Jun 26 2019 at 20:21)</a>:</h4>
<blockquote>
<p>they have reached a point of complexity where I don't remember what's in there</p>
</blockquote>
<p>:(</p>



<a name="169077022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077022">(Jun 26 2019 at 20:29)</a>:</h4>
<p>I'm going to start working on this on local to see what else do we need</p>



<a name="169077131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077131">(Jun 26 2019 at 20:30)</a>:</h4>
<p>there's also still some work left for intptrcast :D</p>



<a name="169077158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077158">(Jun 26 2019 at 20:30)</a>:</h4>
<p>like, making sure that <code>&amp;x as *const _ as usize</code> actually does a cast</p>



<a name="169077174"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077174" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077174">(Jun 26 2019 at 20:30)</a>:</h4>
<p>or what about a test that tries to print the address of a pointer?</p>



<a name="169077216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077216">(Jun 26 2019 at 20:31)</a>:</h4>
<p>Well, what about this. I'll work on intptrcast while you are awake and on this when you are not</p>



<a name="169077290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077290">(Jun 26 2019 at 20:32)</a>:</h4>
<p>;)</p>



<a name="169077300"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077300" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077300">(Jun 26 2019 at 20:32)</a>:</h4>
<p>if you add "while I am awake and have time" there's not much time left :(</p>



<a name="169077308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077308">(Jun 26 2019 at 20:32)</a>:</h4>
<p>important paper deadline coming up</p>



<a name="169077320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077320">(Jun 26 2019 at 20:32)</a>:</h4>
<p>oh cool, where are you sending it?</p>



<a name="169077329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077329">(Jun 26 2019 at 20:33)</a>:</h4>
<p>but as long as we keep the intptrcast issue open so that this is still tracked, the current WIP implementation is a good start</p>



<a name="169077350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077350">(Jun 26 2019 at 20:33)</a>:</h4>
<blockquote>
<p>oh cool, where are you sending it?</p>
</blockquote>
<p><a href="https://popl20.sigplan.org/" target="_blank" title="https://popl20.sigplan.org/">https://popl20.sigplan.org/</a></p>



<a name="169077373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077373">(Jun 26 2019 at 20:33)</a>:</h4>
<p>I had a lot of fun reading the last one</p>



<a name="169077465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169077465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169077465">(Jun 26 2019 at 20:35)</a>:</h4>
<p>had fun = learned something</p>



<a name="169078391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169078391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169078391">(Jun 26 2019 at 20:46)</a>:</h4>
<p>:)</p>



<a name="169078462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169078462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169078462">(Jun 26 2019 at 20:47)</a>:</h4>
<blockquote>
<p>like, making sure that <code>&amp;x as *const _ as usize</code> actually does a cast</p>
</blockquote>
<p>How are <code>X as Y</code> casts handled inside miri?</p>



<a name="169078704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169078704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169078704">(Jun 26 2019 at 20:50)</a>:</h4>
<p>they are in <code>librustc_mir/interpret/cast.rs</code></p>



<a name="169148348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148348">(Jun 27 2019 at 16:03)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> there is a problem with adding the generic parameter to <code>Operand</code></p>



<a name="169148360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148360">(Jun 27 2019 at 16:03)</a>:</h4>
<p><code>!</code> does not implement the serialize traits :P</p>



<a name="169148443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148443">(Jun 27 2019 at 16:04)</a>:</h4>
<p>hmm... implement it? :D</p>



<a name="169148460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148460">(Jun 27 2019 at 16:05)</a>:</h4>
<p>for real?</p>



<a name="169148486"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148486" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148486">(Jun 27 2019 at 16:05)</a>:</h4>
<p>I mean the serialization part is just <code>match self {}</code></p>



<a name="169148497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148497">(Jun 27 2019 at 16:05)</a>:</h4>
<p>and the deserialization is <code>bug!()</code></p>



<a name="169148511"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148511" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148511">(Jun 27 2019 at 16:05)</a>:</h4>
<p>I suppose that trying to serialize <code>!</code> should fail</p>



<a name="169148515"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148515" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148515">(Jun 27 2019 at 16:05)</a>:</h4>
<p>nope</p>



<a name="169148519"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148519" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148519">(Jun 27 2019 at 16:05)</a>:</h4>
<p>that's dead code</p>



<a name="169148567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148567">(Jun 27 2019 at 16:06)</a>:</h4>
<p>what do you mean?</p>



<a name="169148568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148568">(Jun 27 2019 at 16:06)</a>:</h4>
<p>you can't serialize a <code>!</code> because there are no values of that type</p>



<a name="169148581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148581">(Jun 27 2019 at 16:06)</a>:</h4>
<p>yeah but what should the implementation do?</p>



<a name="169148586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148586">(Jun 27 2019 at 16:06)</a>:</h4>
<p><code>match self {}</code></p>



<a name="169148589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148589">(Jun 27 2019 at 16:06)</a>:</h4>
<p>oh</p>



<a name="169148593"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148593" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148593">(Jun 27 2019 at 16:06)</a>:</h4>
<p>duh</p>



<a name="169148595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148595">(Jun 27 2019 at 16:06)</a>:</h4>
<p>:D</p>



<a name="169148598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148598">(Jun 27 2019 at 16:06)</a>:</h4>
<p>didn't get it the first time sorry</p>



<a name="169148639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169148639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169148639">(Jun 27 2019 at 16:07)</a>:</h4>
<p>it's a weird thing, because <code>!</code> is essentially <code>enum Void {}</code></p>



<a name="169149068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169149068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169149068">(Jun 27 2019 at 16:12)</a>:</h4>
<p><code>bug!</code> is not available inside <code>serialize</code> should i add rustc as a dependency? or use something else?</p>



<a name="169150569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150569">(Jun 27 2019 at 16:30)</a>:</h4>
<p>just do <code>unreachable!()</code> then</p>



<a name="169150578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150578">(Jun 27 2019 at 16:30)</a>:</h4>
<p>great</p>



<a name="169150583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150583">(Jun 27 2019 at 16:30)</a>:</h4>
<p>did that  :P</p>



<a name="169150591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150591">(Jun 27 2019 at 16:30)</a>:</h4>
<p>heh</p>



<a name="169150596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150596">(Jun 27 2019 at 16:30)</a>:</h4>
<p>I'm having some trouble with the trait bounds</p>



<a name="169150752"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150752" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150752">(Jun 27 2019 at 16:32)</a>:</h4>
<p>When trying to implement <code>Debug</code> for <code>Operand&lt;'tcx, T&gt;</code> where <code>T</code> is bounded to implement all the required traits (including <code>Debug</code>), compilation fails telling me that none of the traits are implemented for <code>T</code></p>



<a name="169150785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150785">(Jun 27 2019 at 16:33)</a>:</h4>
<div class="codehilite"><pre><span></span>error[E0277]: can&#39;t compare `T` with `T`
    --&gt; src/librustc/mir/mod.rs:2325:15
     |
2325 | impl&lt;&#39;tcx, T&gt; Debug for Operand&lt;&#39;tcx, T&gt; {
     |               ^^^^^ no implementation for `T == T`
     |
     = help: the trait `std::cmp::PartialEq` is not implemented for `T`
     = help: consider adding a `where T: std::cmp::PartialEq` bound
note: required by `mir::Operand`
    --&gt; src/librustc/mir/mod.rs:2304:1
     |
2304 | pub enum Operand&lt;&#39;tcx, T = ()&gt; where T: Clone + PartialEq + serialize::Encodable + serialize::Decodable {
     | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
</pre></div>



<a name="169150867"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150867" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150867">(Jun 27 2019 at 16:34)</a>:</h4>
<p>use <code>impl&lt;'tcx, T: Debug&gt;</code> I think?</p>



<a name="169150882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150882">(Jun 27 2019 at 16:34)</a>:</h4>
<p>wait huh? <code>PartialEq</code>?</p>



<a name="169150887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150887">(Jun 27 2019 at 16:35)</a>:</h4>
<p>oh</p>



<a name="169150894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150894">(Jun 27 2019 at 16:35)</a>:</h4>
<blockquote>
<p>use <code>impl&lt;'tcx, T: Debug&gt;</code> I think?</p>
</blockquote>
<p>Yeah but why the compiler complains on the type definition and not in the <code>impl</code> block?</p>



<a name="169150898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150898">(Jun 27 2019 at 16:35)</a>:</h4>
<p>you may have to repeat all bounds on the type</p>



<a name="169150902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150902">(Jun 27 2019 at 16:35)</a>:</h4>
<p>it tells you it's required by the definition</p>



<a name="169150905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150905">(Jun 27 2019 at 16:35)</a>:</h4>
<p>not erroring on the definition</p>



<a name="169150909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150909">(Jun 27 2019 at 16:35)</a>:</h4>
<blockquote>
<p>you may have to repeat all bounds on the type</p>
</blockquote>
<p>Oohhhhhh</p>



<a name="169150910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150910">(Jun 27 2019 at 16:35)</a>:</h4>
<p>got it</p>



<a name="169150911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150911">(Jun 27 2019 at 16:35)</a>:</h4>
<p>my bad</p>



<a name="169150928"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150928" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150928">(Jun 27 2019 at 16:35)</a>:</h4>
<p>repeat all bounds from the type on the impl</p>



<a name="169150983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169150983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169150983">(Jun 27 2019 at 16:36)</a>:</h4>
<p>the former statement may have been ambiguous</p>



<a name="169151004"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169151004" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169151004">(Jun 27 2019 at 16:36)</a>:</h4>
<p>yeah yeah got it</p>



<a name="169151049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169151049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169151049">(Jun 27 2019 at 16:37)</a>:</h4>
<p>I don't know why I was expecting that the compiler would infer that <code>T</code> has the bounds that are imposed in the <code>Operand</code> definition.</p>



<a name="169151187"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169151187" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169151187">(Jun 27 2019 at 16:38)</a>:</h4>
<p>well... you're not wrong in that assumption, there's a bunch of talk about that topic</p>



<a name="169151215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169151215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169151215">(Jun 27 2019 at 16:38)</a>:</h4>
<p>that sounds  like a nasty discussion TBH</p>



<a name="169151275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169151275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169151275">(Jun 27 2019 at 16:39)</a>:</h4>
<p>sometimes implicitness produces misunderstandings, I understand why this does not happen.</p>



<a name="169151644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169151644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169151644">(Jun 27 2019 at 16:44)</a>:</h4>
<p>carrying all that trait bounds around the implementation seems cumbersome</p>



<a name="169151668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169151668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169151668">(Jun 27 2019 at 16:45)</a>:</h4>
<p>I mean, I know why those are there, but It might look confusing to other people</p>



<a name="169151785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169151785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169151785">(Jun 27 2019 at 16:46)</a>:</h4>
<p>Maybe there should be a supertrait for this?</p>



<a name="169153061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169153061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169153061">(Jun 27 2019 at 17:01)</a>:</h4>
<p>trait alias if anything</p>



<a name="169153119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169153119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169153119">(Jun 27 2019 at 17:02)</a>:</h4>
<p>but I also don't know why the type has those bounds</p>



<a name="169153140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169153140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169153140">(Jun 27 2019 at 17:02)</a>:</h4>
<p>instead of just the appropriate impls</p>



<a name="169153150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169153150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169153150">(Jun 27 2019 at 17:02)</a>:</h4>
<p>maybe fallout from some bound inference issues we used to have</p>



<a name="169153157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169153157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169153157">(Jun 27 2019 at 17:02)</a>:</h4>
<p>maybe open an issue?</p>



<a name="169153180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169153180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169153180">(Jun 27 2019 at 17:02)</a>:</h4>
<p>(sorry, "open an issue" is my go-to thing right now since there's no point in me looking at anything for the next weeks)</p>



<a name="169160245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169160245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169160245">(Jun 27 2019 at 18:15)</a>:</h4>
<p>Sure no prob</p>



<a name="169160303"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169160303" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169160303">(Jun 27 2019 at 18:16)</a>:</h4>
<p>This is just my side project while Ralf is busy/sleeping</p>



<a name="169160516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169160516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169160516">(Jun 27 2019 at 18:18)</a>:</h4>
<p>more like melting, and hallucinating due to sleep deprivation^^</p>



<a name="169160524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169160524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169160524">(Jun 27 2019 at 18:18)</a>:</h4>
<p>Anyway, I think I'll do an small list of what to do with the traits implemented  by Operand in this case</p>



<a name="169160580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169160580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169160580">(Jun 27 2019 at 18:19)</a>:</h4>
<blockquote>
<p>more like melting, and hallucinating due to sleep deprivation^^</p>
</blockquote>
<p>Nice way of making me to think twice about getting a PhD :P</p>



<a name="169160715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169160715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169160715">(Jun 27 2019 at 18:20)</a>:</h4>
<blockquote>
<p>Anyway, I think I'll do an small list of what to do with the traits implemented  by Operand in this case</p>
</blockquote>
<p>I don't know what is the proper place to do this, tecnically this is compiler code but is more related to miri, opening in the sire repo won't get enough visibility though.</p>



<a name="169160902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169160902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169160902">(Jun 27 2019 at 18:22)</a>:</h4>
<blockquote>
<p>Nice way of making me to think twice about getting a PhD :P</p>
</blockquote>
<p>it's mostly unrelated to my PhD and mostly related to it being &gt;35°C for the 4th day in a row, and my apartment being below the roof, so I have interior temperatures of &gt;30°C, which is too hot to sleep...</p>



<a name="169160978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169160978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169160978">(Jun 27 2019 at 18:23)</a>:</h4>
<p>(and I'm also not really hallucinating. but I am sleep deprived.)</p>



<a name="169160984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169160984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169160984">(Jun 27 2019 at 18:23)</a>:</h4>
<p>Oh I was thinking about this in a more abstract sense heheh</p>



<a name="169175526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169175526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169175526">(Jun 27 2019 at 21:07)</a>:</h4>
<p>I have an irrelevant but relevant question, which one is better? <code>Operand::Atom</code> or <code>Operand::Symbol</code>? <span class="user-mention" data-user-id="120791">@RalfJ</span> has strong opinions on names so I'd like his opinion on this one</p>



<a name="169177771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169177771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169177771">(Jun 27 2019 at 21:37)</a>:</h4>
<p><span class="user-mention" data-user-id="132916">@Christian Poveda</span> some context would be nice :D what are the origins of these names?</p>



<a name="169177778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169177778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169177778">(Jun 27 2019 at 21:37)</a>:</h4>
<p>and what about <code>Operand::Symbolic</code>?</p>



<a name="169178084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169178084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169178084">(Jun 27 2019 at 21:41)</a>:</h4>
<p>So basically we want an operand variant to store symbols during symbolic execution</p>



<a name="169178185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169178185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169178185">(Jun 27 2019 at 21:42)</a>:</h4>
<p>the idea is to use the MIR of a function as the instructions to propagate symbols representing the functions argument</p>



<a name="169178355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169178355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169178355">(Jun 27 2019 at 21:44)</a>:</h4>
<p>and this <code>Operand::FancySymbolName</code> is the representation of such symbols</p>



<a name="169178505"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169178505" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169178505">(Jun 27 2019 at 21:46)</a>:</h4>
<p>but won't this, in general, also be something like <code>x + 2</code>? Why should it always be an "atom"?</p>



<a name="169178579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169178579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169178579">(Jun 27 2019 at 21:46)</a>:</h4>
<p>like, after <code>fn foo(x: i32) { let y = x+2; ... }</code></p>



<a name="169178637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169178637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169178637">(Jun 27 2019 at 21:47)</a>:</h4>
<p>yes that is true</p>



<a name="169178664"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169178664" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169178664">(Jun 27 2019 at 21:47)</a>:</h4>
<p>it was just because <code>Symbol</code> is already used inside <code>rustc</code> for something else, so the next word that came to my head was <code>Atom</code></p>



<a name="169178795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169178795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169178795">(Jun 27 2019 at 21:49)</a>:</h4>
<p>so <code>Operand::Symbolic</code> it is?</p>



<a name="169180780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169180780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169180780">(Jun 27 2019 at 22:12)</a>:</h4>
<blockquote>
<p>so <code>Operand::Symbolic</code> it is?</p>
</blockquote>
<p>seems good to me</p>



<a name="169180835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169180835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169180835">(Jun 27 2019 at 22:13)</a>:</h4>
<p>ok it seems I did not broke miri nor the compiler :D</p>



<a name="169180917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169180917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169180917">(Jun 27 2019 at 22:15)</a>:</h4>
<p>always a good start :D</p>



<a name="169188365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169188365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169188365">(Jun 28 2019 at 00:37)</a>:</h4>
<p>I did a PR with the new variant, it shouldn't be groundbreaking but I'll help me to get started working independently</p>



<a name="169202306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202306">(Jun 28 2019 at 06:47)</a>:</h4>
<p>Oh no <span aria-label="smiley" class="emoji emoji-1f603" role="img" title="smiley">:smiley:</span> you picked the wrong Operand type</p>



<a name="169202311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202311">(Jun 28 2019 at 06:47)</a>:</h4>
<blockquote>
<p>Oh no <span aria-label="smiley" class="emoji emoji-1f603" role="img" title="smiley">:smiley:</span> you picked the wrong Operand typr</p>
</blockquote>
<p>Was?</p>



<a name="169202315"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202315" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202315">(Jun 28 2019 at 06:47)</a>:</h4>
<p>Es gibt andere Operand?</p>



<a name="169202316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202316">(Jun 28 2019 at 06:47)</a>:</h4>
<p>Jop</p>



<a name="169202362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202362">(Jun 28 2019 at 06:48)</a>:</h4>
<p>ELI5 please</p>



<a name="169202363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202363">(Jun 28 2019 at 06:48)</a>:</h4>
<p>The miri engine has one</p>



<a name="169202371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202371">(Jun 28 2019 at 06:48)</a>:</h4>
<p>In <a href="http://operand.rs" target="_blank" title="http://operand.rs">operand.rs</a></p>



<a name="169202396"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202396" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202396">(Jun 28 2019 at 06:49)</a>:</h4>
<p>Ohhh the one with the <code>Immediates</code></p>



<a name="169202398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202398">(Jun 28 2019 at 06:49)</a>:</h4>
<p>The MIR one doesn't need to know about symbolic</p>



<a name="169202399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202399">(Jun 28 2019 at 06:49)</a>:</h4>
<p>got it</p>



<a name="169202417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202417">(Jun 28 2019 at 06:50)</a>:</h4>
<p>Oops, sorry I should have checked when you first linked me to stuff</p>



<a name="169202509"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202509" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202509">(Jun 28 2019 at 06:51)</a>:</h4>
<p>In order to be able to use it in sire you'll need to also add the generic parameter to OpTy and as an associated type to the machine I believe</p>



<a name="169202520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202520">(Jun 28 2019 at 06:51)</a>:</h4>
<p>ok let me "undo" this</p>



<a name="169202575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202575">(Jun 28 2019 at 06:52)</a>:</h4>
<p>Hehe what would we do without git</p>



<a name="169202610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202610">(Jun 28 2019 at 06:52)</a>:</h4>
<p>How do ppl still use svn or dated folder copies... oh off topic rant</p>



<a name="169202622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202622">(Jun 28 2019 at 06:53)</a>:</h4>
<p>I knew of a company that used DROPBOX!</p>



<a name="169202639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202639">(Jun 28 2019 at 06:53)</a>:</h4>
<p>And they probably thought they were modern because cloud and stuff</p>



<a name="169202706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202706">(Jun 28 2019 at 06:54)</a>:</h4>
<p>well they did web applications so they used everything that had hype, could you imagine dropbox syncing the node_modules folder?</p>



<a name="169202723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202723">(Jun 28 2019 at 06:55)</a>:</h4>
<p>I think if you make the Frame's locals array use of OpTy generic over the Machine associated type for the symbols, the compiler should tell you all the other places that need changing</p>



<a name="169202732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202732">(Jun 28 2019 at 06:55)</a>:</h4>
<p>I'm not sure I want to know more, I have a nightmare free sleep and want to keep it</p>



<a name="169202775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202775">(Jun 28 2019 at 06:56)</a>:</h4>
<blockquote>
<p>I'm not sure I want to know more, I have a nightmare free sleep and want to keep it</p>
</blockquote>
<p>Sorry for ruining your holiday</p>



<a name="169202789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202789">(Jun 28 2019 at 06:57)</a>:</h4>
<p>I'm going to add the parameter to the Operand type first and see what's up there</p>



<a name="169202803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202803">(Jun 28 2019 at 06:57)</a>:</h4>
<p>Still working today</p>



<a name="169202879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202879">(Jun 28 2019 at 06:59)</a>:</h4>
<p>I don't want to check my work email, there is stuff in that inbox that makes the dropbox think look ok in comparison</p>



<a name="169202942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202942">(Jun 28 2019 at 07:00)</a>:</h4>
<p>Ohh, it is ok to default the associated type inside Machine to never also?</p>



<a name="169202951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202951">(Jun 28 2019 at 07:00)</a>:</h4>
<p>Because default assoc types are unstable IIRC</p>



<a name="169202952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202952">(Jun 28 2019 at 07:00)</a>:</h4>
<p>Yes</p>



<a name="169202954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202954">(Jun 28 2019 at 07:00)</a>:</h4>
<p>Oh</p>



<a name="169202966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202966">(Jun 28 2019 at 07:01)</a>:</h4>
<p>Maybe don't do it then</p>



<a name="169202972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202972">(Jun 28 2019 at 07:01)</a>:</h4>
<p>Just make miri and const eval use <code>!</code></p>



<a name="169202975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202975">(Jun 28 2019 at 07:01)</a>:</h4>
<p>Will do</p>



<a name="169202980"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202980" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202980">(Jun 28 2019 at 07:01)</a>:</h4>
<p>Defaulted assoc types are problematic</p>



<a name="169202983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202983">(Jun 28 2019 at 07:01)</a>:</h4>
<p>I keep forgetting</p>



<a name="169202984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169202984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169202984">(Jun 28 2019 at 07:01)</a>:</h4>
<p>how so?</p>



<a name="169203047"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169203047" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169203047">(Jun 28 2019 at 07:02)</a>:</h4>
<p>Iirc they cause defaulted method bodies to disappear if you have a custom type for the defaulted assoc type</p>



<a name="169203055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169203055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169203055">(Jun 28 2019 at 07:03)</a>:</h4>
<p>So sire would have to impl all machine methods</p>



<a name="169203068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169203068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169203068">(Jun 28 2019 at 07:03)</a>:</h4>
<p>Oh tbh it probably has to do that anyway</p>



<a name="169203126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169203126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169203126">(Jun 28 2019 at 07:04)</a>:</h4>
<p>But it's not the end of the world to have miri break and make it add an assoc type</p>



<a name="169203206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169203206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169203206">(Jun 28 2019 at 07:06)</a>:</h4>
<p>:P</p>



<a name="169203215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169203215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169203215">(Jun 28 2019 at 07:06)</a>:</h4>
<p>do you have any kewl names for the assoc type inside machine?</p>



<a name="169203218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169203218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169203218">(Jun 28 2019 at 07:06)</a>:</h4>
<p>SymbolicSymbol?</p>



<a name="169203400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169203400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169203400">(Jun 28 2019 at 07:10)</a>:</h4>
<p>XD why not just <code>Symbolic</code>?</p>



<a name="169203465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169203465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169203465">(Jun 28 2019 at 07:12)</a>:</h4>
<p>/me invokes <span class="user-mention" data-user-id="120791">@RalfJ</span> for naming conventions</p>



<a name="169204036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169204036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169204036">(Jun 28 2019 at 07:25)</a>:</h4>
<p>Maybe will do the assoc type in Machine in a different PR, because that one is going to break miri for sure :P</p>



<a name="169205407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169205407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169205407">(Jun 28 2019 at 07:54)</a>:</h4>
<p><code>SymbolicValue</code>? <code>SymbolicOperand</code>? <code>Symbol</code>? Not sure^^</p>



<a name="169205485"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169205485" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169205485">(Jun 28 2019 at 07:56)</a>:</h4>
<p>Ok the PR for Operand is ready, it does not break any tests (including miri)</p>



<a name="169209882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169209882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169209882">(Jun 28 2019 at 09:16)</a>:</h4>
<p><span class="user-mention" data-user-id="132916">@Christian Poveda</span> oh you want to just do the <code>OpTy</code> and <code>Operand</code> changes and start using these in sire?</p>



<a name="169209892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169209892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169209892">(Jun 28 2019 at 09:17)</a>:</h4>
<p>without resorting to using an <code>InterpCx</code> yet</p>



<a name="169220338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169220338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169220338">(Jun 28 2019 at 12:32)</a>:</h4>
<p>Yeah I still need to start migrating the machine methods</p>



<a name="169220385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169220385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169220385">(Jun 28 2019 at 12:32)</a>:</h4>
<p>I think I can tape up everything Else if I need to</p>



<a name="169226933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/169226933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#169226933">(Jun 28 2019 at 14:01)</a>:</h4>
<p>patch with tape*</p>



<a name="171443558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/171443558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#171443558">(Jul 22 2019 at 16:04)</a>:</h4>
<p>Should I continue this or should we let this for lateR?</p>



<a name="171443588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Add%20symbolic%20execution%20to%20miri/near/171443588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Add.20symbolic.20execution.20to.20miri.html#171443588">(Jul 22 2019 at 16:04)</a>:</h4>
<p>I tried to access the PR on github but the site is returning a 500 error :P</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>